Automated Completeness Check in KAOS
نویسندگان
چکیده
KAOS is a popular and useful goal oriented requirements engineering (GORE) language, which can be used in business requirements modelling, specification, and analysis. Currently, KAOS is being used in areas such as business process modelling, and enterprise architecture (EA). But, an incomplete or malformed KAOS model can result to incomplete and erroneous requirements analysis, which in turn can lead to overall systems failure . Therefore, it is necessary to check that a requirements specification in KAOS language are complete and well formed. The contribution at hand is to provide an automated technique for checking the completeness and wellformed-ness of a requirements specification in KAOS language. This is accomplished by adding a plug-in on the KTool developed in our previous research.
منابع مشابه
A Framework to Evaluate Complexity and Completeness of KAOS Goal Models
Goal-Oriented Requirements Engineering (GORE) approaches have been developed to facilitate the requirements engineers work by, for example, providing abstraction mechanisms to help eliciting and modeling requirements. One of the well-established GORE approaches is KAOS. Nevertheless, in largescale systems building KAOS models may result in incomplete and/or complex goal models, which are diffic...
متن کاملExtraction of goals and their classification in the KAOS model using natural language processing Extracción de objetivos y su clasificación en el modelo de KAOS a partir del procesamiento del lenguaje natural
The KAOS (Knowledge Acquisition in Automated Specification) goals diagram is one of the most important diagrams during software requirements elicitation, that is to say, the first phase of a program’s life cycle, since it helps stakeholders (users) to understand the importance of future software. In the studies in order to identify the traceability that should exist between natural language and...
متن کاملDAML Reality Check: A Case Study of KAoS Domain and Policy Services
Description-logic-based knowledge representations and reasoning methods are being used increasingly as the basis for semantically-rich software services. Using such representations and reasoning methods in comprehensive applications is among one of the best ways to identify and understand gaps and limitations. KAoS domain and policy services, which rely extensively on a DAML-based ontology, are...
متن کاملGenerating High-Level Event-B System Models from KAOS Requirements Models
Model-driven engineering (MDE) generally starts from system design model. In this paper, we show how MDE can be extended to the requirements level expressed in requirements models (in KAOS) and be linked with a formal design language (in Event-B). The central idea is to map Goal-Oriented agents to a hierarchy of Event-B machines. A design process is proposed to decompose a system level agent/ma...
متن کاملProof-Search in Intuitionistic Logic Based on Constraint Satisfaction
We characterize provability in intuitionistic predicate logic in terms of derivation skeletons and constraints and study the problem of instantiations of a skeleton to valid derivations. We prove that for two diierent notions of a skeleton the problem is respectively polynomial and NP-complete. As an application of our technique, we demonstrate PSPACE-completeness of the prenex fragment of intu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014